VDict mobile



hypothetical reasoning not found. Suggestions:

meta
REFINE
BinProlog
abduction
neats vs. scruffies
MIX
CONNIVER
CBR
COBOL fingers
MIXAL